TAGs: Solve inequality